Finite State Machine
有限状態機械
有限個の入力、出力、内部状態を持った機械
有限オートマトン
とかはこれ